/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASB30/FONT#3=BASI30/FONT#4=BDR40/FONT#5=NGR25/FONT#6=NGR20/FONT#7=GRFX35/FONT#9=SUP/FONT#10=SUB ␈↓ <␈↓εACM categories: ␈↓ <␈↓ε444 ␈↓ <␈↓ε2 ␈↓ <␈↓ε86 ␈↓ <␈↓εhike ␈↓ <␈↓εMajor keywords: ␈↓ <␈↓εHeuristic Theory Formation ␈↓ <␈↓εHypothesis Formation ␈↓ <␈↓εArtificial Intelligence ␈↓ <␈↓εInductive Inference ␈↓ <␈↓εKnowledge Engineering